New Proofs of Euclid's and Euler's Theorems
نویسنده
چکیده
In this note we give a new proof of the existence of infinitely many prime numbers. There are several different proofs with many variants, and some of them can be found in [1, 3, 4, 5, 6]. This proof is based on a simple counting argument using the inclusionexclusion principle combined with an explicit formula. A different proof based on counting arguments is due to Thue (1897) and can be found in [6] together with several generalizations, and a remarkable variant of it was given by Chaitin [2] using algorithmic information theory. Moreover, we prove that the series of reciprocals of the primes diverges. Our proofs arise from a connection between the inclusion-exclusion principle and the infinite product of Euler. Let {pi }i be the sequence of prime numbers, and let us define the following recurrence: a0 = 0, ak+1 = ak + 1 − ak pk+1 .
منابع مشابه
Diagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملExtended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
CENTER FOR THE STUDY OF LANGUAGE AND INFORMATION " We do not listen with the best regard to the verses of a man who is only a poet, nor to his problems if he is only an algebraist; but if a man is at once acquainted with the geometric foundation of things and with their festal splendor, his poetry is exact and his arithmetic musical. 1 Background In 1879, the English mathematician Charles Dodgs...
متن کاملEuler's Partition Theorem
Euler’s Partition Theorem states that the number of partitions with only distinct parts is equal to the number of partitions with only odd parts. The combinatorial proof follows John Harrison’s pre-existing HOL Light formalization [1]. To understand the rough idea of the proof, I read the lecture notes of the MIT course 18.312 on Algebraic Combinatorics [2] by Gregg Musiker. This theorem is the...
متن کاملThe Concept of Sub-independence and Its Application in Statistics and Probabilities
Many Limit Theorems, Convergence Theorems and Characterization Theorems in Probability and Statistics, in particular those related to normal distribution , are based on the assumption of independence of two or more random variables. However, the full power of independence is not used in the proofs of these Theorems, since it is the distribution of summation of the random variables whic...
متن کاملArrow theorems in the fuzzy setting
Throughout this paper, our main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- The American Mathematical Monthly
دوره 116 شماره
صفحات -
تاریخ انتشار 2009